Fast and Energy-Efficient State Checkpointing for Intermittent Computing

Intermittently powered embedded devices ensure forward progress of programs through state checkpointing in non-volatile memory. Checkpointing is, however, expensive in energy and adds to the execution times. To minimize this overhead, we present DICE, a system that renders differential checkpointing profitable on these devices. DICE is unique because it is a software-only technique and efficient because it only operates in volatile main memory to evaluate the differential. DICE may be integrated with reactive (Hibernus) or proactive (MementOS, HarvOS) checkpointing systems, and arbitrary code can be enabled with DICE using automatic code-instrumentation requiring no additional programmer effort. By reducing the cost of checkpoints, DICE cuts the peak energy demand of these devices, allowing operation with energy buffers that are one-eighth of the size originally required, thus leading to benefits such as smaller device footprints and faster recharging to operational voltage level. The impact on final performance is striking: with DICE, Hibernus requires one order of magnitude fewer checkpoints and one order of magnitude shorter time to complete a workload in real-world settings

A catalog of intermediate duration Type I X-ray bursts observed with the INTEGRAL satellite

We present a catalog of long duration bursts observed with the Joint European X-ray Monitor (JEM-X) and IBIS/ISGRI instruments onboard the INTEGRAL satellite. The fourteen bursts have e-folding times ranging from 55 s to ? 17 min, and are therefore classified as intermediate-duration bursts, caused by the ignition of an unusually thick helium layer. Though seven events have already been reported in literature, we have systematically re-analyzed the whole sample. We find three new photospheric radius expansion (PRE) bursts, which are not reported in the literature, allowing us to provide a new estimate of the distances to these sources. We apply the enhanced persistent emission method (also known as the fa method) on sources with detectable persistent emission prior to a burst, in order to follow the evolution of the accretion rate during the burst. Although we do not get significantly better fits, the evolution of the fa factor shows an indicative behavior, which we discuss

Demystifying Energy Consumption Dynamics in Transiently powered Computers

Transiently powered computers (TPCs) form the foundation of the battery-less Internet of Things, using energy harvesting and small capacitors to power their operation. This kind of power supply is characterized by extreme variations in supply voltage, as capacitors charge when harvesting energy and discharge when computing. We experimentally find that these variations cause marked fluctuations in clock speed and power consumption. Such a deceptively minor observation is overlooked in existing literature. Systems are thus designed and parameterized in overly conservative ways, missing on a number of optimizations. We rather demonstrate that it is possible to accurately model and concretely capitalize on these fluctuations. We derive an energy model as a function of supply voltage and prove its use in two settings. First, we develop EPIC, a compile-time energy analysis tool. We use it to substitute for the constant power assumption in existing analysis techniques, giving programmers accurate information on worst-case energy consumption of programs. When using EPIC with existing TPC system support, run-time energy efficiency drastically improves, eventually leading up to a 350% speedup in the time to complete a fixed workload. Further, when using EPIC with existing debugging tools, it avoids unnecessary program changes that hurt energy efficiency. Next, we extend the MSPsim emulator and explore its use in parameterizing a different TPC system support. The improvements in energy efficiency yield up to more than 1000% time speedup to complete a fixed workload